https://bookem.ir/books/2148619-Computational-Logic-in-Multi-Agent-Systems